In the system of
Aristotelian logic, the logical cube is a
diagram representing the different ways in which each of the eight
proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the no ...
s of the
system is logically related ('opposed') to each of the others. The system is also useful in the analysis of
syllogistic logic, serving to identify the allowed logical conversions from one type to another.
[Paul Dekker, 2015, "Not Only Barbara", Journal of Logic, Language, and Information 24(2), pp. 95-129.]
See also
*
Logical hexagon
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
*
Square of opposition
References
Conceptual models
Term logic
{{logic-stub